int FortyTwo();
